DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover
نویسنده
چکیده
In this paper, we describe a disjunctive logic programming system, referred to as Dis-LoP, based on PROTEIN theorem prover. PROTEIN supports certain theorem proving calculi, such as restart model elimination and hyper tableaux, that are suitable for working with positive disjunctive logic programs. In particular, restart model elimination calculus is answer complete for postive queries. The DisLoP project started at this point with the aim of extending this further to minimal model reasoning and query processing wrt normal disjunctive logic programming too. The rst phase of the project is complete and DisLoP can now perform minimal model reasoning with positive disjunctive logic programs, using both bottom-up and top-down strategies.
منابع مشابه
Automating Defeasible Reasoning with Logic Programming (DeReLoP)
This is a description of the DeReLoP project between the Artificial Intelligence groups at the University of Koblenz, Germany and the Universidad Nacional del Sur, Bahia Blanca, Argentina. The overall idea is to try to combine the theoretical and practical work done in Bahia Blanca and Koblenz and make it confluent. Both groups are working in the broad area of knowledge representation and on ap...
متن کاملOn Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract)
(Poster Abstract) In this poster session, we present the current results of ongoing projects on deduction, disjunctive logic programming, and information management systems, at the University of Koblenz, Germany. The central idea behind these projects is to apply techniques and concepts developed for theorem proving in disjunctive logic programming (thereby achieving a tight integration between...
متن کاملDislop: Towards a Disjunctive Logic Programming System
This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as Dis-LoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
متن کاملDisLoP: A Research Project on Disjunctive Logic Programming
This paper gives a brief high-level description of what has been done in the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them. This paper also serves as a brief survey of the current status of ...
متن کاملAbduction and negation in disjunctive logic programming
In this paper, we study an abductive framework for disjunctive logic programming that provides a new way to understand negation in disjunctive logic programming. We show that the defined framework captures the existing minimal model semantics based on Generalised Closed World Assumption (GCWA). This relationship between abduction and minimal model reasoning provides a methodology to develop alg...
متن کامل